1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
pub const SPECIAL_CHARACTERS: &str = "\n\r\t :[](){}#\"\',;.λΠ";
pub const ASSIGN: &str = "=";
pub const FN_ARROW: &str = "->";
pub const MAP_ARROW: &str = "=>";
pub const LET: &str = "#let";
pub const ASSERT_EQ: &str = "#eq";
pub const HEAD: &str = "#head";
pub const BETA: &str = "#beta";
pub const ETA: &str = "#eta";
pub const BETA_ETA: &str = "#betaeta";
pub const LAMBDA: &str = "λ";
pub const SIMPLE_LAMBDA: &str = "#lambda";
pub const PI: &str = "Π";
pub const SIMPLE_PI: &str = "#pi";
pub const UNIVERSE: &str = "#U";
pub const UNIVERSE_VAR: &str = "#uv";
pub const TRUE: &str = "#true";
pub const FALSE: &str = "#false";
pub const BOOL: &str = "#bool";
pub const HOLE: &str = "_";
#[inline]
pub fn is_keyword(input: &str) -> bool {
input == ASSIGN
|| input == FN_ARROW
|| input == MAP_ARROW
|| input == HOLE
|| input
.chars()
.next()
.map(|c| char::is_digit(c, 10))
.unwrap_or(false)
}